go/types.unifier.nify (method)

19 uses

	go/types (current package)
		unify.go#L144: 	return u.nify(x, y, mode, nil)
		unify.go#L285: func (u *unifier) nify(x, y Type, mode unifyMode, p *ifacePair) (result bool) {
		unify.go#L368: 		return u.nify(u.at(px), u.at(py), mode, p)
		unify.go#L374: 			if u.nify(x, y, mode, p) {
		unify.go#L522: 				if ym := ymap[xm.Id()]; ym == nil || !u.nify(xm.typ, ym.typ, exact, p) {
		unify.go#L543: 				if ym, _ := obj.(*Func); ym == nil || !u.nify(xm.typ, ym.typ, exact, p) {
		unify.go#L595: 			return (x.len < 0 || y.len < 0 || x.len == y.len) && u.nify(x.elem, y.elem, emode, p)
		unify.go#L601: 			return u.nify(x.elem, y.elem, emode, p)
		unify.go#L616: 						!u.nify(f.typ, g.typ, emode, p) {
		unify.go#L627: 			return u.nify(x.base, y.base, emode, p)
		unify.go#L638: 						if !u.nify(v.typ, w.typ, mode, p) {
		unify.go#L655: 				u.nify(x.params, y.params, emode, p) &&
		unify.go#L656: 				u.nify(x.results, y.results, emode, p)
		unify.go#L713: 					if f.Id() != g.Id() || !u.nify(f.typ, g.typ, exact, q) {
		unify.go#L724: 			return u.nify(x.key, y.key, emode, p) && u.nify(x.elem, y.elem, emode, p)
		unify.go#L732: 			return (mode&exact == 0 || x.dir == y.dir) && u.nify(x.elem, y.elem, emode, p)
		unify.go#L748: 				if !u.nify(xarg, yargs[i], mode, p) {
		unify.go#L787: 				return u.nify(cx, yorig, assign, p)